Factorization of the Shoenfield-like Bounded Functional Interpretation
نویسنده
چکیده
We adapt Streicher and Kohlenbach’s proof of the factorization S = K D of the Shoenfield translation S in terms of Krivine’s negative translation K and the Gödel functional interpretation D, obtaining a proof of the factorization U = K B of Ferreira’s Shoenfield-like bounded functional interpretation U in terms of K and Ferreira and Oliva’s bounded functional interpretation B.
منابع مشابه
$n$-factorization Property of Bilinear Mappings
In this paper, we define a new concept of factorization for a bounded bilinear mapping $f:Xtimes Yto Z$, depended on a natural number $n$ and a cardinal number $kappa$; which is called $n$-factorization property of level $kappa$. Then we study the relation between $n$-factorization property of level $kappa$ for $X^*$ with respect to $f$ and automatically boundedness and $w^*$-$w^*$-continuity...
متن کاملShoenfield is Gödel after Krivine
We show that Shoenfield’s functional interpretation of Peano arithmetic can be factorized as a negative translation due to J. L. Krivine followed by Gödel’s Dialectica interpretation. Mathematics Subject Classification: 03F03, 03F10.
متن کاملNonstandardness and the bounded functional interpretation
The bounded functional interpretation of arithmetic in all finite types is able to interpret principles like weak König’s lemma without the need of any form of bar recursion. This interpretation requires the use of intensional (rule-governed) majorizability relations. This is a somewhat unusual feature. The main purpose of this paper is to show that if the base domain of the natural numbers is ...
متن کاملRobust Adaptive Actuator Failure Compensation of MIMO Systems with Unknown State Delays
In this paper, a robust adaptive actuator failure compensation control scheme is proposed for a class of multi input multi output linear systems with unknown time-varying state delay and in the presence of unknown actuator failures and external disturbance. The adaptive controller structure is designed based on the SPR-Lyapunov approach to achieve the control objective under the specific assump...
متن کاملInert Module Extensions, Multiplicatively Closed Subsets Conserving Cyclic Submodules and Factorization in Modules
Introduction Suppose that is a commutative ring with identity, is a unitary -module and is a multiplicatively closed subset of . Factorization theory in commutative rings, which has a long history, still gets the attention of many researchers. Although at first, the focus of this theory was factorization properties of elements in integral domains, in the late nineties the theory was gener...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 50 شماره
صفحات -
تاریخ انتشار 2009